Characterizing Binary Discriminator Algebras
نویسنده
چکیده
The concept of the (dual) binary discriminator was introduced by R.Halaš, I.G.Rosenberg and the author in 1999. We study finite algebras having the (dual) discriminator as a term function. In particular, a simple characterization is obtained for such algebras with a majority term function.
منابع مشابه
Discriminator Varieties of Boolean Algebras with Residuated Operators
The theory of discriminator algebras and varieties has been investigated extensively, and provides us with a wealth of information and techniques applicable to specific examples of such algebras and varieties. Here we give several such examples for Boolean algebras with a residuated binary operator, abbreviated as r-algebras. More specifically, we show that all finite r-algebras, all integral r...
متن کاملSemisimplicity, EDPC and Discriminator Varieties of Residuated Lattices
We prove that all semisimple varieties of FLew-algebras are discriminator varieties. A characterisation of discriminator and EDPC varieties of FLew-algebras follows. It matches exactly a natural classification of logics over FLew proposed by H. Ono.
متن کاملThe connection of skew Boolean algebras and discriminator varieties to Church algebras
We establish a connection between skew Boolean algebras and Church algebras. We prove that the set of all semicentral elements in a right Church algebra forms a right-handed skew Boolean algebra for the properly defined operations. The main result of this paper states that the variety of all semicentral right Church algebras of type τ is term equivalent to the variety of right-handed skew Boole...
متن کاملDecidability of Classes of Finite Algebras with a Distinguished Subset Closed Under a Discriminator Clone
Let C be a clone of operations on a two element set. In [2] we have proved that the first order theory of finite Boolean algebras with distinguish subset closed under C is decidable if and only if C is a clone containing the ternary discriminator function. Decidability of the theories referred to in the abstract is a consequence of the fact, that finite discriminator subsets of products of alge...
متن کاملFactor varieties
The universal algebraic literature is rife with generalisations of discriminator varieties, whereby several investigators have tried to preserve in more general settings as much as possible of their structure theory. Here, we modify the definition of discriminator algebra by having the switching function project onto its third coordinate in case the ordered pair of its first two coordinates bel...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002